Sfoglia per Rivista ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
On the complexity of the disjunction property in intuitionistic and modal logics
2005 M. Ferrari, C. Fiorentini, G. Fiorino
Quantifier-Free Interpolation in Combinations of Equality Interpolating Theories
2014 R. Bruttomesso, S. Ghilardi, S. Ranise
Simplification rules for intuitionistic propositional tableaux
2012 M. Ferrari, C. Fiorentini, G. Fiorino
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
On the complexity of the disjunction property in intuitionistic and modal logics | 2005 | C. Fiorentini + | Article (author) | - | |
Quantifier-Free Interpolation in Combinations of Equality Interpolating Theories | 2014 | S. Ghilardi + | Article (author) | - | |
Simplification rules for intuitionistic propositional tableaux | 2012 | C. Fiorentini + | Article (author) | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile